الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 5 /5
978-3-030-81688-9
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

اقرأ المزيد
978-3-319-96145-3
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

اقرأ المزيد
978-3-319-96142-2
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

اقرأ المزيد
978-3-030-17138-4
Principles of Security and Trust

This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...

اقرأ المزيد
978-3-030-58768-0
Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

اقرأ المزيد
عدد الكتب: 1 - 5 /5